$\forall$$i$:Id, $T$:Type, $v$:($\mathbb{Q}\rightarrow$$T$), $x$:Id. @$i$: $x$:$T$ initially $x$ = $v$ $\in$ Dsys